mathematical model proof数学模型验证
method of mathematical proof数学证明方法
proof of mathematical induction数学归纳法的证明
There are lots of researches on Mei Wending's mathematical achievements. Although much researches interfere in his mathematical proof, which has not been regarded as special research object.
关于梅文鼎的数学成就已有大量的研究结果，对于他的数学证明虽也多有涉及，但是未被作为专门的研究对象。
参考来源 - 论梅文鼎的数学证明